L. Cruz-Filipe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Fixpoint semantics for active integrity constraints

Bogaerts, Bart, Cruz-Filipe, Luís

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 739 KB

english, 2018

2

Active integrity constraints for general-purpose knowledge bases

Cruz-Filipe, Luís, Gaspar, Graça, Nunes, Isabel, Schneider-Kamp, Peter

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 788 KB

english, 2018

3

Sorting nine inputs requires twenty-five comparisons

Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

4

From description-logic programs to multi-context systems

Cruz-Filipe, Luís, Gaspar, Graça, Nunes, Isabel

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 594 KB

english, 2017

5

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, Luís, Marques-Silva, Joao, Schneider-Kamp, Peter

Journal:

Journal of Automated Reasoning

Year:

2018

File:

PDF, 1.05 MB

2018

6

A Large-Scale Experiment in Executing Extracted Programs

Luís Cruz-Filipe, Pierre Letouzey

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

7

Reasoning about probabilistic sequential programs

R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 465 KB

english, 2007

8

The stream-based service-centred calculus: a foundation for service-oriented programming

Luís Cruz-Filipe,Ivan Lanese,Francisco Martins…

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 1.77 MB

english, 2014

9

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Computing Repairs from Active Integrity Constraints

Cruz-Filipe, Luis, Gaspar, Graca, Engracia, Patricia, Nunes, Isabel

Year:

2013

Language:

english

File:

PDF, 359 KB

english, 2013

10

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

11

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

Cruz-Filipe, L., Sernadas, A., Sernadas, C.

Journal:

Logic Journal of IGPL

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

12

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

Cruz-Filipe, L., Rasga, J., Sernadas, A., Sernadas, C.

Journal:

Journal of Logic and Computation

Year:

2008

Language:

english

File:

PDF, 244 KB

english, 2008

13

Sorting networks: To the end and back again

Codish, Michael, Cruz-Filipe, Luís, Ehlers, Thorsten, Müller, Mike, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 994 KB

english, 2016

14

Optimal-depth sorting networks

Bundala, Daniel, Codish, Michael, Cruz-Filipe, Luís, Schneider-Kamp, Peter, Závodný, Jakub

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 996 KB

english, 2016

15

Optimizing sorting algorithms by using sorting networks

Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

16

The Finitistic Consistency of Heck’s Predicative Fregean System

Cruz-Filipe, Luís, Ferreira, Fernando

Journal:

Notre Dame Journal of Formal Logic

Year:

2015

Language:

english

File:

PDF, 351 KB

english, 2015

17

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - Communications in choreographies, revisited

Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

Year:

2018

Language:

english

File:

PDF, 1.14 MB

english, 2018

18

A core model for choreographic programming

Cruz-Filipe, Luís, Montesi, Fabrizio

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019